Relations with time interval ratio and equality of time interval
نویسندگان
چکیده
منابع مشابه
A Proof of the Compositions of Time Interval Relations
We prove the 169 compositions of time interval relations. The proof is first-order and inferred from an axiomatic system on time intervals. We show a general proof template that can alleviate the manual proof with Isar.
متن کاملTime Interval Operators
X iv :q ua nt -p h/ 01 04 07 8v 1 1 6 A pr 2 00 1 Time Interval Operators M. Ruzzi Departamento de F́ısica Universidade Federal de Santa Catarina 88040-900 Florianópolis Santa Catarina – Brazil D. Galetti Instituto de F́ısica Teórica Universidade Estadual Paulista Rua Pamplona 145 01405-900 São Paulo – SP – Brazil In this work we will advance farther along a line previously developed concerning o...
متن کاملMining Interval Time Series
Data mining can be used to extensively automate the data analysis process. Techniques for mining interval time series, however, have not been considered. Such time series are common in many applications. In this paper, we investigate mining techniques for such time series. Specifically, we propose a technique to discover temporal containment relationships. An item A is said to contain an item B...
متن کاملPhotographing a Time Interval
A method of measuring time intervals by a single observer proposed by Crowell[3] is extended to the more general case when the events separated by the time interval take place at two points characterized by the same y=y' space coordinates. We show that time dilation and time contraction can take place or even an inversion in the time succession can be detected.
متن کاملNeural representation of interval time.
Animals can predict the time of occurrence of a forthcoming event relative to a preceding stimulus, i.e. the interval time between those two, given previous learning experience with the temporal contingency between them. Accumulating evidence suggests that a particular pattern of neural activity observed during tasks involving fixed temporal intervals might carry interval time information: the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Proceedings of the Annual Convention of the Japanese Psychological Association
سال: 2013
ISSN: 2433-7609
DOI: 10.4992/pacjpa.77.0_3pm-045